
.pull-right {
  float: right !important;
}

.pull-left {
  float: left !important;
}

body {
  background-color: $body-background-color;
}

.el-card {
  margin-bottom: 15px;
  border-radius: 0;
}

.el-button--medium {
  height: 36px;
}

.grey-line {
  display: block;
  border-top: 1px solid $grey-line;
  height: 0;
}

.checkbox-margin-left {
  .el-checkbox + .el-checkbox {
    margin-left: 0;
  }
  .el-checkbox.is-bordered + .el-checkbox.is-bordered {
    margin-left: 0;
  }
  .el-checkbox {
    margin-right: 15px;
  }
}
